- 2 402 202 книги
- Поиск
Verification of Sequential and Concurrent Programs (3rd edition) (Texts in Computer Science)
Автор: Krzysztof R. Apt, Автор: Frank S. de Boer, Автор: Ernst-Rüdiger OlderogКатегория: Компьютеры
Размер книги: 2.53 Mb
Lectures in Game Theory for Computer Scientists
Автор: Krzysztof R. Apt, Автор: Erich Grädel
Размер книги: 1.72 Mb
Logics and models of concurrent systems
Автор: Krzysztof R Apt; North Atlantic Treaty Organization. Scientific Affairs Division (ed.)Категория: Cs_Computer science, CsF_Formal methods
Размер книги: 4.51 Mb
New perspectives on games and interaction
Автор: Krzysztof R Apt; Robert Van Rooij; Koninklijke Nederlandse Akademie van Wetenschappen. Colloquium (eds.)Категория: G_Economics, GA_Game Theory
Размер книги: 9.33 Mb
Recent advances in constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30--July 2, 2003: selecAuthor: Krzysztof R Apt; European Research Consortium for Inform
Автор: Krzysztof R. Apt, Автор: Francois Fages, Автор: Francesca Rossi, Автор: Peter Szeredi, Автор: Josef Váncza
Размер книги: 6.05 Mb
Principles of constraint programming
Автор: Krzysztof AptКатегория: Computer science, Programming languages
Размер книги: 1.73 Mb
Concepts in Programming Languages
Автор: John C. Mitchell, Автор: Krzysztof Apt
Размер книги: 7.59 Mb
Concepts in programming languages
Автор: John C. Mitchell, Автор: Krzysztof Apt
Размер книги: 7.59 Mb
New Perspectives on Games and Interaction (Amsterdam University Press - Texts in Logic and Games)
Автор: Krzysztof Apt, Автор: Robert van Rooij
Размер книги: 8.89 Mb
New Perspectives on Games and Interaction
Автор: Krzysztof Apt, Автор: Robert van RooijКатегория: science_books, math
Размер книги: 12.43 Mb
Constraint Logic Programming using Eclipse
Автор: Krzysztof R. Apt, Автор: Mark WallaceКатегория: programming_development
Размер книги: 1.50 Mb
New Trends in Constraints: Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers
Автор: Krzysztof R. Apt, Автор: Antonis Kakas, Автор: Eric Monfroy, Автор: Francesca Rossi
Размер книги: 2.34 Mb
Recent Advances in Constraints: Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, ... / Lecture Notes in Artificial Intelligence
Автор: Krzysztof R. Apt, Автор: Francois Fages, Автор: Francesca Rossi, Автор: Peter Szeredi, Автор: Josef Váncza
Размер книги: 3.80 Mb
